1

Weakly Associative Relation Algebras with Polyadic Composition Operations

Year:
2000
Language:
english
File:
PDF, 463 KB
english, 2000
2

Undecidable Theories of Lyndon Algebras

Year:
2001
Language:
english
File:
PDF, 367 KB
english, 2001
3

Modal Logic, Transition Systems and Processes

Year:
1994
Language:
english
File:
PDF, 1.95 MB
english, 1994